AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[x5, x4, k7, k6, k5, k10^2, k9*k10, k10 - 2*x6, k8 + x6]
